Towards a Deeper Understanding of Nonmonotonic Reasoning with Degrees

Towards First-Order Nonmonotonic Reasoning

We investigate the problem of reasoning in nonmonotonic extensions of rst-order logic. In particular, we study reasoning in rst-order MKNF, the modal logic of minimal knowledge and negation as failure introduced by Lifschitz. MKNF can be considered as a unifying framework for several nonmonotonic formalisms, including default logic, autoepistemic logic, circumscription, and logic programming. B...

Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations

Frame Logic under Answer Set Semantics

Frame logic is well known as a useful ontology modeling formalism, mainly appreciated for its object-oriented features and its nonmonotonic variant, capable to deal with typical nonmonotonic features such as object oriented inheritance. This paper presents a preliminary work defining a framework for coping with frame-like syntax and higher order reasoning within an answer set programming enviro...

Argumentation Semantics for Defeasible Logic

Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It haspowerful implementations and shows promise to be applied in the areas of legal reasoning and themodeling of business rules. This paper establishes significant links between defeasible reasoning andargumentation. In particular, Dung-like argumentation semantics is provided for two key ...

Nonmonotonic Reasoning

In this talk I will give an overview of nonmonotonic reasoning as background, and then address the question of its relevance and importance for theoretical issues in reasoning about knowledge and belief. In the past few years the area. of nonmonotonic reasoning has grown tremendously, as witnessed by the increase in submitted and accepted papers to conferences such as this one. It would be impo...